void test_keyboard_led();
void keyboard_led_init();
void led_set_data(int, int);
